1. Prgramming from first principles
پدیدآورنده : Bornat, Richard
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : programming ، Electronic digital computers
رده :
QA
76
.
6
.
B66
1987
2. Programming from first principles
پدیدآورنده : Bornat, Richard
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B66
1986
3. Programming from first principles
پدیدآورنده : Bornat, Richard
موضوع : ، Electronic digital computers-- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. Programming from first principles
پدیدآورنده : Bornat, Richard, 4491-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B66
5. Programming from first principles
پدیدآورنده : BORNAT,RICHARD
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
B66
6. Proof and Disproof in Formal Logic
پدیدآورنده : /Richard Bornat
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
7. Proof and Disproof in Formal Logic
پدیدآورنده : \ Richard Bornat
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Evidence,Logic, Modern,منطق جدید
رده :
E-Book
,
8. Proof and disproof in formal logic
پدیدآورنده : / Richard Bornat
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Evidence.,Logic, Modern.
رده :
BC
,
173
,.
B67
,
2005
9. Proof and disproof in formal logic : an introduction for programmers
پدیدآورنده : Bornat, Richard, 4491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Evidence,، Logic, Modern
رده :
BC
173
.
B67P7
10. Understanding and writing compilers
پدیدآورنده : / Richard Bornat,Bornat
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Compilers ( Computer programs)
رده :
QA
76
.
76
.
C65B6
1979
R